package java17;

public sealed class A permits B{
}
